Submission for IFL 2014 pre-proceedings Type-Directed Elaboration of Quasiquotations A High-Level Syntax for Low-Level Reflection David Raymond Christiansen IT University of Copenhagen

Source URL: ifl2014.github.io

• Software engineering
• Computer programming
• Computing
• Functional languages
• Idris
• Agda
• Dependent type
• Lisp
• Lambda calculus
• Scope
• Type theory
• Fold

Global Exponential Stability of FAST TCP Joon-Young Choi, Kyungmo Koo, David X. Wei, Jin S. Lee, and Steven H. Low Abstract— We consider a single-link multi-source network with the FAST TCP sources. We propose a contin

Source URL: netlab.caltech.edu

E Low-altitude Aerial Color Digital Photographic Survey of the San Andreas Fault David K. Lynch, Kenneth W. Hudnut, and David S. P. Dearborn

Source URL: thulescientific.com

MODELLING AND STABILITY OF FAST TCP∗ JIANTAO WANG† , DAVID X. WEI† , JOON-YOUNG CHOI‡ , AND STEVEN H. LOW† Abstract. We discuss the modelling of FAST TCP and prove four stability results. Using the traditional

Source URL: netlab.caltech.edu

20th International Conference on Condensed Matter Nuclear Science Part 1: Introduction and Experiments David J. Nagel* he scientific study of Low Energy Nuclear Reactions

Source URL: www.infinite-energy.com

Indicators of Interest in Low Energy Nuclear Reactions David J. Nagel Most scientists seem to be busy with their own interests, and undreds of scientists, engineers and others have

Source URL: www.infinite-energy.com

Toward Low-Cost Automated Evaluation Metrics for Internet of Things Dialogues Kallirroi Georgila, Carla Gordon, Hyungtak Choi, Jill Boberg, Heesik Jeon, and David Traum Abstract We analyze a corpus of system-user dialog

Source URL: www.colips.org

Low-dimensional Embeddings for Interpretable Anchor-based Topic Inference David Mimno Dept. of Information Science Cornell University Ithaca, NY, 14853

Source URL: emnlp2014.org

An Efficient, Sparsity-Preserving, Online Algorithm for Low-Rank Approximation David Anderson * 1 Ming Gu * 1 Abstract

Source URL: proceedings.mlr.press

Error-Resilient Live Video Multicast Using Low-Rate Visual Quality Feedback David Varodayan and Wai-tian Tan Hewlett-Packard Laboratories © Copyright 2010 Hewlett-Packard Development Company, L.P.

Source URL: web.cs.wpi.edu